complete Reinhardt domain

完全赖因哈特域